  122 000000000040052d <run>:
  123   40052d:                55                      push   %rbp
  124   40052e:                48 89 e5                mov    %rsp,%rbp
  125   400531:                bf f0 05 40 00          mov    $0x4005f0,%edi
  126   400536:                e8 d5 fe ff ff          callq  400410 <puts@plt>
  127   40053b:                5d                      pop    %rbp
  128   40053c:                c3                      retq   
  129 
  130 000000000040053d <main>:
  131   40053d:                55                      push   %rbp
  132   40053e:                48 89 e5                mov    %rsp,%rbp
  133   400541:                bf fb 05 40 00          mov    $0x4005fb,%edi
  134   400546:                e8 c5 fe ff ff          callq  400410 <puts@plt>
  135   40054b:                b8 00 00 00 00          mov    $0x0,%eax
  136   400550:                e8 d8 ff ff ff          callq  40052d <run>
  137   400555:                b8 00 00 00 00          mov    $0x0,%eax                                                               
  138   40055a:                5d                      pop    %rbp
  139   40055b:                c3                      retq   
  140   40055c:                0f 1f 40 00             nopl   0x0(%rax)

